翻訳と辞書
Words near each other
・ クラシミル・バラコフ
・ クラシミール・バラコフ
・ クラシャラボラス
・ クラジクワイプロジェクト
・ クラジクワイ・プロジェクト
・ クラジュー級戦列艦
・ クラス
・ クラス (コンピュータ)
・ クラス (バンド)
・ クラス (数学)
クラス (集合論)
・ クラス332系
・ クラス332系電車
・ クラス332電車
・ クラス333電車
・ クラス373
・ クラス374電車
・ クラス377電車
・ クラス390型電車
・ クラス390電車


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

クラス (集合論) : ミニ英和和英辞書
クラス (集合論)[ろん]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [しゅう]
 【名詞】 1. collection 
集合 : [しゅうごう]
  1. (n,vs) (1) gathering 2. assembly 3. meeting 4. (2) (gen) (math) set 
集合論 : [しゅうごうろん]
 (n) set theory (in math)
: [ごう]
 【名詞】 1. go (approx. 0.18l or 0.33m) 
: [ろん]
 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment

クラス (集合論) : ウィキペディア日本語版
クラス (集合論)[ろん]
集合論及びその応用としての数学におけるクラスまたは(るい、)は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全てのが共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、ツエルメロ=フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、他の集合論(たとえば、ノイマン=ベルナイス=ゲーデル集合論 (NBG))では、「クラス」の概念は公理化されている(NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される)。
(どのような定式化を選んだとしても)「全ての集合の集まり」はクラスである。(ZF では厳密な言い方ではないが)このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス(つまり集合)は小さいクラス (small class) とも呼ばれる。例えば、全ての順序数からなるクラスや全ての集合からなるクラスは、多くの形式体系において真のクラスである。
集合論以外の文脈では「クラス」を「集合」の同義語として使うこともある。この用法はクラスと集合が現代的な集合論の用語法に基づく区別をされていなかった時代からある。19世紀以前の多くの"クラス"に関する議論は集合のことを指していた、もしくはもっと曖昧な概念をさしていた。この意味でのクラスは「級」という訳語を当てることがある(たとえば滑らかさのクラスの ''C''1-級など)。
== 例 ==

与えられた型の代数的対象全ての集まりは、たいてい真のクラスをなす。例えば、全てのからなるクラス、全てのベクトル空間からなるクラス、など。圏論では、対象の集まりが真クラスをなすもの(または射の集まりが真クラスをなすもの)を大きい圏という。
超現実数 (:en:Surreal number) 全体は、の公理を満たす対象による真クラスである。
集合論では、集合の集まりの多くは真クラスになってしまう。例えば、全ての集合からなるクラス、全ての順序数からなるクラス、全ての基数からなるクラスなど。
クラスが真クラスであることを証明する方法に、全ての順序数によるクラスとの間に全単射を与えるというものがある。この方法は、例えば自由完備束が存在しないことの証明などに使われる。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「クラス (集合論)」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.